(MemberLink (av 0 0 0) (stv 0.900000 0.111111)
  (ConceptNode "Thomas" (av 0 0 0) (stv 0.010000 0.555556))
  (ConceptNode "Train" (av 0 0 0) (stv 0.010000 0.555556))
)
(MemberLink (av 0 0 0) (stv 0.900000 0.111111)
  (ConceptNode "FrankstonLine" (av 0 0 0) (stv 0.010000 0.555556))
  (ConceptNode "Track" (av 0 0 0) (stv 0.010000 0.555556))
)
(define target
  (AndLink (av 0 0 0) (stv 1.000000 0.000000)
    (MemberLink (av 0 0 0) (stv 1.000000 0.000000)
      (VariableNode "?TRAIN" (av 0 0 0) (stv 1.000000 0.000000))
      (ConceptNode "Train" (av 0 0 0) (stv 0.010000 0.555556))
    )
    (MemberLink (av 0 0 0) (stv 1.000000 0.000000)
      (VariableNode "?TRACK" (av 0 0 0) (stv 1.000000 0.000000))
      (ConceptNode "Track" (av 0 0 0) (stv 0.010000 0.555556))
    )
  )
)
(EvaluationLink (av 0 0 0) (stv 0 0)
  (PredicateNode "rules" (av 0 0 0) (stv 0 0))
  (ListLink (av 0 0 0) (stv 1.000000 0.000000)
    (ConceptNode "AndCreationRule<2>" (av 0 0 0) (stv 0 0))
  )
)
(EvaluationLink (av 0 0 0) (stv 0 0)
  (PredicateNode "query" (av 0 0 0) (stv 0 0))
  (ListLink target)
)

